21. Aristotle's modal syllogistic /
پدیدآورنده : Marko Malink
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Aristotle,Aristotle., Prior analytics,Logic, Ancient,Modality (Logic),Predicate (Logic),Syllogism
رده :
B491
.
L8
M35
2013
22. Arrow logic and multi-modal logic
پدیدآورنده : edited by Maarten Marx, Laszlo Polos, and Michael Masuch
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic,، Modality )Logic(
رده :
BC
71
.
A77
23. Aspects of Aristotle's logic modalities
پدیدآورنده : Rijen, Jeroen Van, 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Aristotle, 383 B.C. - 123 B.C.,، Modality )Logic(
رده :
B
491
.
L8R55
1989
24. Aspects of aristotle's logic of modalities
پدیدآورنده : / Jeroen Van Rijen
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Aristotles-contribuions in logic of modalities,Modality(logic)
رده :
166
R5725a
25. Aspects of aristotle's logic of modalities
پدیدآورنده : / Jeroen Van Rijen
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Aristotle - Contributions in logic of modalities,Modality (Logic)
رده :
B491
.
L8R55
1989
26. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده : Wallen, Lincoln A.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
27. Being necessary :
پدیدآورنده : edited by Ivette Fred-Rivera and Jessica Leech.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Hale, Bob,1945-Essays., Selections.,Modality (Theory of knowledge),Ontology.,Philosophy.,Modality (Theory of knowledge),Ontology.,PHILOSOPHY-- Epistemology.,Philosophy.
رده :
BD218
.
5
.
B45
2018
28. Between saying and doing :towards an analytic pragmatism
پدیدآورنده : Brandom, Robert.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Pragmatism,، Analysis )Philosophy(
رده :
B832
.
B67
2008
29. Causality,method and modality=essays in honor of Jules Vuillemin:with a complete bibliography of Jules Vuillemin
پدیدآورنده : / Edited by Grodon G.Brittan
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Causation,Philosophy,Vuillemin Jules
رده :
120
B862c
30. Coherent systems
پدیدآورنده : / Karl Schlechta
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics- Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
31. Coherent systems
پدیدآورنده : / Karl Schlechta
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics, Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
32. Communication and Meaning :
پدیدآورنده : by Andrew J.I. Jones.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Linguistics -- Philosophy.,Logic.,Philosophy (General)
رده :
P90
.
B936
1983
33. Computational pathology and ophthalmic medical image analysis :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
رده :
RB38
34. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
35. Constructibility and mathematical existence /
پدیدآورنده : Charles S. Chihara.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constructive mathematics.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques constructives.,Mathématiques-- Philosophie.,Constructieve wiskunde.,Constructive mathematics.,Filosofia da matemática.,Filosofie.,Logic, Symbolic and mathematical.,Lógica matemática.,Matemática construtiva.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Mathematics-- Philosophy.,Ontologie (filosofie)
رده :
QA8
.
4
.
C45
1990eb
36. Content and modality
پدیدآورنده : / edited by Judith Thomson and Alex Byrne
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Stalnaker, Robert.,Modality (Logic),Logic.,Language and languages--Philosophy
رده :
BC
,
199
,.
M6
,
C65
,
2006
37. Content and modality
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Stalnaker, Robert. ; Modality (Logic) ; Logic. ; Language and languages ; Philosophy. ;
38. Continuity in linguistic semantics
پدیدآورنده : edited by Catherine Fuchs, Bernard Victorri.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Continuity.,Linguistic models.,Semantics.
رده :
P325
.
C57
1994eb
39. Continuity in linguistic semantics
پدیدآورنده : edited by Catherine Fuchs, Bernard Victorri.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Continuity.,Linguistic models.,Semantics.
رده :
P325
.
C57
1994eb
40. Contribute a Verse :
پدیدآورنده : Tanya Long Bennett, Donna Gessell, Diana Edelman-Young, Chris Bell, David Brauer, Steven Brehe, Shannon Gilstrap, Laura Ng, J. Stephen Pearson, J. Michael Rifenburg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Language arts.,LANGUAGE ARTS & DISCIPLINES-- General.,Language arts.
